artificial intelligence, tool (MIKE) An expert systemshell for teaching purposes, with forward chaining,

backward chaining, and user-definable conflict resolution

strategies. MIKE is written in Edinburgh Prolog.